Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·16h
⚙Functional Programming
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·21h·
Discuss: Hacker News
🧮Programming Language Theory
Deploy a lightweight AI model with AI Inference Server containerization
developers.redhat.com·1h
🎲Probabilistic Programming
Qwen3-Next-80B-A3B - a big step up may be the best open source reasoning model so far
reddit.com·4h·
Discuss: r/LocalLLaMA
🧭SMT Solvers
An introduction to program synthesis
mchav.github.io·9h·
Discuss: r/programming
🔧Compiler Design
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·1d·
Discuss: Substack
🎲Probabilistic Programming
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
🧩Theorem Proving
The Data Backbone of LLM Systems
infoq.com·16h·
Discuss: Lobsters
🔧Compiler Design
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·15h
🧭SMT Solvers
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🎯Constraint Programming
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·10h·
Discuss: Hacker News
🎲Probabilistic Programming
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·1d
🔧Compiler Design
Human vs. AI in Logic Tasks: a Study
dailynous.com·2d
🧩Theorem Proving
Issue 489
haskellweekly.news·20h·
Discuss: Hacker News
⚙Functional Programming
BentoML Released llm-optimizer: An Open-Source AI Tool for Benchmarking and Optimizing LLM Inference - MarkTechPost
news.google.com·1h
🔗Parser Combinators
Being in the Linux Kernel Mentorship
bharadwaj-raju.github.io·13h·
Discuss: r/linux
🔌Network Programming
Dynamically Weighted Governance Simulation for Enhanced Organizational Resilience
dev.to·23h·
Discuss: DEV
⚖Algorithmic Game Theory
neeed help for amazon interview for ML engineer
amazon.jobs·5h·
Discuss: r/compsci
🧮Programming Language Theory
[P] Semlib: LLM-powered Data Processing
reddit.com·17h·
Discuss: r/MachineLearning
🧭SMT Solvers
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.com·6h
🎲Probabilistic Programming